$x$ : $v$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$x$.nil$,\,$$\lambda$$x$.$v$$\rangle$